Normal science

Results: 1249



#Item
551Estimation theory / Bayesian statistics / Statistical theory / Bioinformatics / Expectation–maximization algorithm / Variational Bayesian methods / Gamma distribution / Multinomial distribution / Dirichlet distribution / Statistics / Probability and statistics / Statistical natural language processing

Shared Logistic Normal Distributions for Soft Parameter Tying in Unsupervised Grammar Induction Shay B. Cohen and Noah A. Smith Language Technologies Institute School of Computer Science Carnegie Mellon University

Add to Reading List

Source URL: www.cs.cmu.edu

Language: English - Date: 2009-03-31 16:28:07
552Automated theorem proving / Logic in computer science / NP-complete problems / Logic programming / Conjunctive normal form / Boolean satisfiability problem / Unit propagation / Resolution / Clause / Theoretical computer science / Mathematical logic / Mathematics

Covered Clause Elimination Marijn Heule∗ TU Delft, The Netherlands Matti J¨arvisalo† Univ. Helsinki, Finland

Add to Reading List

Source URL: www.st.ewi.tudelft.nl

Language: English - Date: 2010-11-29 07:30:47
553Standard deviation / Standard score / Mode / Normal distribution / Mean / Percentile / Deviation / 68-95-99.7 rule / Standard error / Statistics / Summary statistics / Data analysis

Lesson 2 The Normal Distribution In a science class, you may have weighed something by balancing it on a scale

Add to Reading List

Source URL: www.wmich.edu

Language: English - Date: 2010-09-21 14:46:52
554NP-complete problems / Conjunctive normal form / Automated theorem proving / Boolean satisfiability problem / Resolution / Logic programming / 2-satisfiability / Theoretical computer science / Mathematics / Applied mathematics

Blocked Clause Elimination and its Extensions Marijn J. H. Heule∗ joint work with Matti J¨arvisalo and Armin Biere Abstract Boolean satisfiability (SAT) has become a core technology in many application

Add to Reading List

Source URL: www.st.ewi.tudelft.nl

Language: English - Date: 2010-11-29 08:16:51
555Automated theorem proving / Boolean algebra / Mathematical logic / Resolution / True quantified Boolean formula / Conjunctive normal form / Limit / Literal / Model theory / Mathematics / Logic / Theoretical computer science

A Unified Proof System for QBF Preprocessing? Marijn J.H. Heule1 , Martina Seidl2 , and Armin Biere2 1 Department of Computer Science, The University of Texas at Austin, USA [removed]

Add to Reading List

Source URL: www.cs.utexas.edu

Language: English - Date: 2014-07-31 09:57:45
556Science / Fisher information / Maximum likelihood / Time of flight / Entailment / Microphone / Normal distribution / White noise / Statistics / Estimation theory / Logic

IEEE TRANSACTIONS ON SPEECH AND AUDIO PROCESSING 1 Position Calibration of Microphones and Loudspeakers in Distributed Computing Platforms

Add to Reading List

Source URL: www.multimedia-computing.de

Language: English - Date: 2011-06-17 18:05:39
557Psychometrics / Analytical chemistry / Standardized tests / Statistical inference / Data analysis / Normal distribution / Statistical hypothesis testing / Test / Matrix / Statistics / Science / Chemistry

amc technical brief Analytical Methods Committee No.11 Dec 2002  Royal Society of Chemistry

Add to Reading List

Source URL: www.rsc.org

Language: English - Date: 2014-08-20 04:20:18
558Actuarial science / Generalized extreme value distribution / Weibull distribution / Central limit theorem / Normal distribution / Exponential distribution / Pareto distribution / Cauchy distribution / Scale parameter / Statistics / Gumbel distribution / Survival analysis

Introduction to Extreme Value Modelling Henning Rust [removed] Modul Meteorologische Extremereignisse, 1. August 2014

Add to Reading List

Source URL: users.met.fu-berlin.de

Language: English - Date: 2014-08-01 05:58:02
559Statistical inference / Computational statistics / Poisson processes / Bootstrapping / Weibull distribution / Generalized linear model / Median / Log-normal distribution / Exponential distribution / Statistics / Regression analysis / Actuarial science

Stat 511 HW#11 Spring[removed]An R function that will create bootstrap samples (taken from page 399 of Efron and Tibshirani) is > bootstrap<-function(x,nboot,theta) + {dataAdd to Reading List

Source URL: www.public.iastate.edu

Language: English - Date: 2003-05-02 15:45:42
560Science / Actuarial science / Human geography / Total fertility rate / Population growth / Normal distribution / Fertility / Demography / Population / Statistics

This article was downloaded by: [University of Washington Libraries] On: 25 April 2013, At: 11:29 Publisher: Taylor & Francis Informa Ltd Registered in England and Wales Registered Number: [removed]Registered office: Mort

Add to Reading List

Source URL: www.stat.washington.edu

Language: English - Date: 2013-04-25 15:00:15
UPDATE